Programming tool - PDFSEARCH.IO - Document Search Engine

Programming tool
Results: 791

#	Item
121	NOWEB(1) NOWEB(1) NAME notangle, noweave, nountangle − noweb, a literate-programming tool Add to Reading List Source URL: ctan.mirrorcatalogs.com Language: English - Date: 2007-05-17 19:00:00
122	Preparing local development strategies for mountain products development ACTION PLAN In the new programming period, Community-led Local Development (CLLD) has been proposed as a tool for involving citizens at local level Add to Reading List Source URL: www.euromontana.org Language: English - Date: 2014-12-19 04:46:15
123	NOWEB(1) NOWEB(1) NAME notangle, noweave, nountangle − noweb, a literate-programming tool Add to Reading List Source URL: mirror.its.dal.ca Language: English - Date: 2007-05-17 19:00:00
124	NOWEB(1) NOWEB(1) NAME notangle, noweave, nountangle − noweb, a literate-programming tool Add to Reading List Source URL: mirror.utexas.edu Language: English - Date: 2007-05-17 19:00:00
125	Formalizing WS-BPEL and Higher Order Mobile Embedded Business Processes in the Bigraphical Programming Languages (BPL) Tool Mikkel Bundgaard, Arne John Glenstrup, Thomas Hildebrandt, Espen Højsgaard, and Henning Niss Add to Reading List Source URL: www.itu.dk Language: English - Date: 2009-02-19 09:48:15
126	YOUTH CLUB STANDARDS Effective Date: February 16, 2012 The US Club Soccer Youth Club Standards document is designed to be a tool for youth soccer clubs to assess their programming and operations, and to generate ideas f Add to Reading List Source URL: www.usclubsoccer.org Language: English - Date: 2015-06-14 02:48:37
127	iKMS_Taxonomy_Management_Deployment_Clarke_20070830.ppt Add to Reading List Source URL: www.greenchameleon.com Language: English - Date: 2007-09-14 03:00:45 Programming tool Workflow Knowledge management Business Management Science Groupware Workflow technology Information systems
128	ACM SIGPLAN Continuation Workshop Saturday, September 24, 2011 Tokyo, Japan (co-located with ICFP) Session 1 (chair: Yukiyoshi Kameyama) 9:00–10:00 Continuations and classical logic: using continuations as a tool for l Add to Reading List Source URL: logic.cs.tsukuba.ac.jp Language: English - Date: 2011-09-18 11:21:43 Lambda calculus Type theory Functional programming Control flow Continuations Delimited continuation Curry–Howard correspondence Typed lambda calculus Monad Software engineering Computing Computer programming
129	An SVG Based Tool for Plane Geometry and Mathematics Education1 Xun Lai, Paul Wang Kent State University, Kent, Ohio, USA Abstract Geometry is an important part of mathematics. Described is a Scalable Vector G Add to Reading List Source URL: icm.mcs.kent.edu Language: English - Date: 2005-01-21 01:07:15 Computing Authoring system Web page Mathematics education Java applet Java platform Java programming language
130	A Safety-critical Medical Device Development using the UPP2SF Model Translation Tool MIROSLAV PAJIC, University of Pennsylvania ZHIHAO JIANG, University of Pennsylvania INSUP LEE, University of Pennsylvania Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2013-12-14 22:31:51 Automata theory Computing Application software Models of computation Uppaal Model Checker Stateflow Simulink Finite-state machine Valuation Visual programming languages Model checkers Software

UPDATE